<?php session_start();
//$_SESSION['userid']="17871";
//$useid=$_SESSION['userid'];
if(!isset($_SESSION['userid']))
header("Location: index.html");
?>